theme/panel: Remove spacing between Activities and appmenu

Top bar elements now have more padding, which makes the spacing between those
elements excessive, so remove it.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3769

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1754>

diff --git a/data/theme/gnome-shell-sass/widgets/_panel.scss b/data/theme/gnome-shell-sass/widgets/_panel.scss
index bf7e37db6a6aed137fd038df3a8ea68eacfe7df0..1f46507732e0e87fa48a7fa43354a0f000615d92 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_panel.scss
+++ b/data/theme/gnome-shell-sass/widgets/_panel.scss
@@ -25,11 +25,6 @@ $panel_transition_duration: 250ms; // same as the overview transition duration
     }
   }
 
-  // spacing between activities, app menu and such
-  #panelLeft, #panelCenter {
-    spacing: $base_spacing;
-  }
-
   // the rounded outset corners
   .panel-corner {
     -panel-corner-radius: $panel_corner_radius;